1. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، System design,، Object-oriented programming )Computer science(,، Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
2. Advances in the design of symbolic computation systems
پدیدآورنده : A. Miola and M. Temperini )eds.(,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
رده :
QA
.
S88
,
A38
76
.
9
1997
3. An Introductionn to Discrete Mathematics, Formal System Specification and Z
پدیدآورنده : / C.C. Ince
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science _ Mathematics.,System Design.
رده :
QA76
,.
9
.
M
35
4. An introduction to discrete mathematics and formal system specification
پدیدآورنده : Ince, Darrel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1988
5. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، System design
رده :
QA
76
.
9
.
M35I53
1992
6. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, Darrel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Mathematics ، Computer science,، System design
رده :
QA
76
.
9
.
M35153
1992
7. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, D.)Darrel(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1992
8. An introduction to discrete mathematics formal system specification, and z
پدیدآورنده : / D.C.Ince
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science-Mathematics,System design
رده :
QA76
.
9
.
M35
,
153
1992
9. An introduction to discrete mathematics, specification, and Z
پدیدآورنده : Ince, D. )Darrel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Mathematics,، System design
رده :
QA
76
.
9
.
M35
.
I53
1992
10. FME 2002 :
پدیدآورنده : Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2002
11. FME 2003 :
پدیدآورنده : Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
12. Process algebra with timing
پدیدآورنده : by J.C.M. Baeten, C.A. Middelburg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Discrete-time systems.,System design.
رده :
QA76
.
9
.
S88
B953
2011
